Katherine A. Yelick Associate Laboratory Director for Computing Sciences, Lawrence Berkeley National Laboratory Professor of Electrical Engineering and Computer Sciences, U.C. Berkeley Lawrence Berkeley National Laborato

Source URL: http.cs.berkeley.edu

ASGrid: Autonomic Management of Hybrid Sensor Grid Systems and Applications∗ Xiaolin Li*, Xinxin Liu, Han Zhao, Huanyu Zhao Scalable Software Systems Laboratory Computer Science Department

Source URL: www.cise.ufl.edu

Mapping Mixed-Criticality Applications on Multi-Core Architectures Georgia Giannopoulou, Nikolay Stoimenov, Pengcheng Huang, Lothar Thiele Computer Engineering and Networks Laboratory, ETH Zurich, 8092 Zurich, Switzerlan

Source URL: www.tik.ethz.ch

• Computing
• Parallel computing
• Computer memory
• Engineering
• Operations research
• Concurrent computing
• Cache
• Cache memory
• Program optimization
• Mathematical optimization
• Scheduling
• Thread

Chair of Software Engineering Robotics Programming Laboratory Bertrand Meyer Jiwon Shin Andrey Rusakov

Source URL: se.inf.ethz.ch

• Computer programming
• Software engineering
• Software
• Code refactoring
• Object-oriented programming
• Extreme programming
• Integrated development environments
• Extract class
• Rename method
• Programming tool
• Push Down
• C Sharp

A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com

Source URL: yices.csl.sri.com

• Theoretical computer science
• Logic
• Mathematics
• Constraint programming
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Simplex algorithm
• Satisfiability

Reproduced without access to the TeX macros. Ad-hoc macro denitions were used instead. ON THE POWER OF TWO-POINTS BASED SAMPLING Benny Chor  Oded Goldreich  MIT Laboratory for Computer Science Cambridge, Massachuset

Source URL: www.wisdom.weizmann.ac.il

Elias Athanasopoulos Research Scientist Distributed Computing Systems Laboratory Institute of Computer Science Foundation for Research and Technology Hellas (FORTH) Science and Technology Park of Crete, Heraklion

Source URL: users.ics.forth.gr

Twelve ways to fool the masses: Fast forward to 2013 David H Bailey Lawrence Berkeley National Laboratory, USA (recently retired) University of California, Davis, Department of Computer Science This talk is available at:

Source URL: www.davidhbailey.com

Security Economics and Critical National Infrastructure Ross Anderson, Shailendra Fuloria Cambridge University Computer Laboratory

Source URL: weis09.infosecon.net

DLBEM: A Predictive Approach to Dynamic Load Balancing Han Zhao, Xinxin Liu, Xiaolin Li Scalable Software Systems Laboratory Department of Computer Science Oklahoma State University

Source URL: www.cise.ufl.edu